shifting theorem